formal definition of integration